Search results for "d AU"

showing 10 items of 747 documents

FO^2 with one transitive relation is decidable

2013

We show that the satisfiability problem for the two-variable first-order logic, FO^2, over transitive structures when only one relation is required to be transitive, is decidable. The result is optimal, as FO^2 over structures with two transitive relations, or with one transitive and one equivalence relation, are known to be undecidable, so in fact, our result completes the classification of FO^2-logics over transitive structures with respect to decidability. We show that the satisfiability problem is in 2-NExpTime. Decidability of the finite satisfiability problem remains open.

000 Computer science knowledge general worksComputer ScienceComputer Science::Formal Languages and Automata Theory
researchProduct

Condition-dependent effects of corticosterone on a carotenoid-based begging signal in house sparrows

2008

International audience; Begging is a complex display involving a variety of different visual and auditory signals. Parents are thought to use these signals to adjust their investment in food provisioning. The mechanisms that ensure the honesty of begging displays as indicators of need have been recently investigated. It has been shown that levels of corticosterone (Cort), the hormone released during the stress response, increase during food shortage and are associated with an increased begging rate. In a recent study in house sparrows, although exogenous Cort increased begging rate, parents did not accordingly adjust their provisioning rate. Here, we tested the hypothesis that Cort might af…

0106 biological sciences01 natural sciencesNesting BehaviorFight-or-flight responseBehavioral Neurosciencechemistry.chemical_compoundEndocrinologyCorticosteroneAdaptation PsychologicalBeggingpolycyclic compoundsHouse sparrowCarotenoidchemistry.chemical_classificationCarotenoid0303 health sciencesFlange colorationPigmentationPoor body conditionhumanities[ SDE.MCG ] Environmental Sciences/Global ChangesSparrowshormones hormone substitutes and hormone antagonistsmedicine.medical_specialtyendocrine system[SDE.MCG]Environmental Sciences/Global ChangesParent–offspring conflictBiologyAffect (psychology)010603 evolutionary biology03 medical and health sciencesInternal medicinemedicinePasser domesticusAnimalsImmune responseCondition dependent030304 developmental biologyMouth[ SDE.BE ] Environmental Sciences/Biodiversity and EcologyEndocrine and Autonomic SystemsFeeding BehaviorCarotenoids[SDE.ES]Environmental Sciences/Environmental and SocietyAnimal CommunicationEndocrinologychemistryImmune SystemBody ConstitutionParent–offspring conflict[SDE.BE]Environmental Sciences/Biodiversity and EcologyFood DeprivationCorticosteronePhotic Stimulation[ SDE.ES ] Environmental Sciences/Environmental and Society
researchProduct

Using Recorded Audio Feedback in Cross-Cultural e-Education Environments to Enhance Assessment Practices in a Higher Education

2018

Providing feedback to learners on their writing assignments is perhaps one of the most important and time-consuming tasks that a supervisor performs. In e-Education environments, giving feedback becomes more challenging because there are often no possibilities for face-to-face discussions with learners. Typically, a supervisor provides comments to learners in written form via email; however, the use of recorded audio feedback (RAF) in e-Education environments has become a viable alternative. The purpose of this case study was to examine learners’ perceptions of RAF and written feedback for their assignments at the University of Jyväskylä (Finland) and at Keio University SFC (Japan). Formati…

020205 medical informaticsHigher educationoppiminenProcess (engineering)cross-cultural higher educationBest practicesuullinen palaute02 engineering and technologyFormative assessment0202 electrical engineering electronic engineering information engineeringMathematics educationCross-culturalta516Hofstede's cultural dimensions theorycultural dimensionsta113e-Education environmentsSupervisorbusiness.industryrecorded audio feedbackGeneral Arts and Humanities05 social sciencespalaute050301 educationäänitiedostotverkko-oppiminenta5141Audio feedbackbusinessPsychology0503 educationformative feedback
researchProduct

Security Assessment of a Distributed, Modbus-based Building Automation System

2017

Building automation systems were designed in an era when security was not a concern as the systems were closed from outside access. However, multiple benefits can be found in connecting such systems over the Internet and controlling a number of buildings from a single location. Security breaches towards building automation systems are increasing and may cause direct or indirect damages to the target organization or even the residents of the building. This work presents an approach to apply a method of data flow recognition and environment analysis to building automation through a case study on a distributed building automation system utilizing the Modbus protocol at the sites and presents s…

0209 industrial biotechnologyComputer scienceTotally integrated automationprotocols02 engineering and technologysecurityComputer securitycomputer.software_genre020901 industrial engineering & automationHome automationrakennusautomaatio0202 electrical engineering electronic engineering information engineeringtietoturvaProtocol (object-oriented programming)ModbusBuilding automationBuilding management systemta113ta213business.industry020208 electrical & electronic engineeringprotokollatbuilding automation systemsISA100.11aThe Internetbusinesscomputer
researchProduct

Altered gastrointestinal motility in an animal model of Lesch-Nyhan disease.

2018

Mutations in the HGPRT1 gene, which encodes hypoxanthine-guanine phosphoribosyltransferase (HGprt), housekeeping enzyme responsible for recycling purines, lead to Lesch-Nyhan disease (LND). Clinical expression of LND indicates that HGprt deficiency has adverse effects on gastrointestinal motility. Therefore, we aimed to evaluate intestinal motility in HGprt knockout mice (HGprt(−)). Spontaneous and neurally evoked mechanical activity was recorded in vitro as changes in isometric tension in circular muscle strips of distal colon. HGprt(−) tissues showed a lower in amplitude spontaneous activity and atropine-sensitivity neural contraction compared to control mice. The responses to carbachol a…

0301 basic medicineAtropineMaleHypoxanthine PhosphoribosyltransferaseLesch-Nyhan SyndromeDopaminemedicine.disease_causeSettore BIO/09 - FisiologiaLesch-NyhanMice0302 clinical medicineEnzyme InhibitorsEvoked PotentialsMyenteric plexusHGprt deficient miceNeurotransmitter AgentsBrainNG-Nitroarginine Methyl EsterKnockout mouseCytokinesAcetylcholinemedicine.drugmedicine.medical_specialtyCarbacholTyrosine 3-MonooxygenaseColonMotilityMice TransgenicIn Vitro TechniquesEndocrine and Autonomic SystemArticleContractility03 medical and health sciencesCellular and Molecular NeuroscienceDopamineInternal medicinemedicineAnimalsCytokineEndocrine and Autonomic Systemsbusiness.industryMuscle SmoothBenzazepinesMice Inbred C57BLDisease Models Animal030104 developmental biologyEndocrinologyGene Expression RegulationHGprt enzymeFaceOxidative streCarbacholNeurology (clinical)Lipid PeroxidationbusinessGastrointestinal MotilityReactive Oxygen Species030217 neurology & neurosurgeryOxidative stressAutonomic neuroscience : basicclinical
researchProduct

Hypoxia-Inducible Factor-1α Activity as a Switch for Glioblastoma Responsiveness to Temozolomide

2018

Rationale: The activity of the transcription factor, hypoxia-inducible factor (HIF)-1?, is a common driver of a number of the pathways involved in the aggressiveness of glioblastomas (GBMs), and it has been suggested that the reduction in this activity observed, soon after the administration of temozolomide (TMZ), can be a biomarker of an early response in GBM models. As HIF-1? is a tightly regulated protein, studying the processes involved in its downregulation could shed new light on the mechanisms underlying GBM sensitivity or resistance to TMZ. Methods: The effect of HIF-1? silencing on cell responsiveness to TMZ was assessed in four genetically different human GBM cell lines by evaluat…

0301 basic medicineCancer Researchapoptosis; chaperone-mediated autophagy activity; hypoxia-inducible factor-1? silencing; temozolomide responsiveness; theranostic biomarkerBiologylcsh:RC254-28203 medical and health scienceshypoxia-inducible factor-1α silencing0302 clinical medicineGliomamedicineGene silencingViability assayTranscription factorOriginal Researchchaperone-mediated autophagy activityTemozolomideAutophagyapoptosismedicine.diseaselcsh:Neoplasms. Tumors. Oncology. Including cancer and carcinogenstheranostic biomarker030104 developmental biologyHypoxia-inducible factorsOncologyApoptosis030220 oncology & carcinogenesisCancer researchtemozolomide responsivenessmedicine.drugFrontiers in Oncology
researchProduct

Immunohistochemistry of Human Hsp60 in Health and Disease: From Autoimmunity to Cancer

2017

Hsp60 (also called Cpn60) is a chaperonin with essential functions for cell physiology and survival. Additionally, its involvement in the pathogenesis of a variety of diseases (e.g., some autoimmune disorders and cancer) is becoming evident with new research. For example, the distribution and levels of Hsp60 in cells and tissues have been found altered in many pathologic conditions, and the significance of these alterations is being investigated in a number of laboratories. The aim of this ongoing research is to determine the meaning of these Hsp60 alterations with regard to pathogenetic mechanisms, diagnosis, classification of lesions, and assessing prognosis and response to treatment. Hsp…

0301 basic medicineCell physiologyHsp60 in cancerDiseasemedicine.disease_causeHsp60 immunostainingAutoimmunityPathogenesis03 medical and health sciences0302 clinical medicineHsp60 and autoimmunityGeneticsmedicineMolecular BiologyHsp60 immunohistochemistrybusiness.industryCancerHsp60Hsp60 antibodiemedicine.diseaseChaperonin Hsp60Molecular mimicry030104 developmental biology030220 oncology & carcinogenesisImmunologyHsp60 locationImmunohistochemistryHSP60Hsp60 in tissuebusinessMolecular mimicry
researchProduct

Bifidobacterium CECT 7765 modulates early stress-induced immune, neuroendocrine and behavioral alterations in mice.

2016

Emerging evidence suggests that there is a window of opportunity within the early developmental period, when microbiota-based interventions could play a major role in modulating the gut-brain axis and, thereby, in preventing mood disorders. This study aims at evaluating the effects and mode of action of Bifidobacterium pseudocatenulatum CECT 7765 in a murine model of chronic stress induced by maternal separation (MS). C57Bl/6J male breast-fed pups were divided into four groups, which were subjected or not to MS and supplemented with placebo or B. pseudocatenulatum CECT7765 until postnatal period (P) 21 and followed-up until P41. Behavioral tests were performed and neuroendocrine parameters …

0301 basic medicineCentral Nervous SystemMalemedicine.medical_specialtyHypothalamo-Hypophyseal Systemmedicine.medical_treatmentImmunologyBifidobacterium pseudocatenulatumPituitary-Adrenal SystemInflammationBiologyDiet High-Fat03 medical and health sciencesBehavioral Neurosciencechemistry.chemical_compoundMice0302 clinical medicineImmune systemCorticosteroneStress PhysiologicalInternal medicineRNA Ribosomal 16SmedicineAnimalsChronic stressObesityNeurotransmitterInflammationNeurotransmitter AgentsEndocrine and Autonomic SystemsMaternal DeprivationMicrobiotaProbioticsNeurosecretory SystemsIntestinesMice Inbred C57BL030104 developmental biologyCytokineEndocrinologychemistryHypothalamusImmunologyDietary SupplementsCytokinesBifidobacteriummedicine.symptom030217 neurology & neurosurgeryBrain, behavior, and immunity
researchProduct

Autism spectrum disorders in children affected by Duchenne muscular dystrophy

2018

Background Duchenne muscular dystrophy (DMD) is the most frequent and severe form of the dystrophinopathies. The literature shows that about 30-40% of DMD subjects have intellectual disability. In males with Duchenne muscular dystrophy, neuropsychiatric disorders have also been observed: attention deficit disorder and hyperactivity, autism spectrum disorders, and obsessive-compulsive disorder. Duchenne muscular dystrophy is not just a muscle disorder, but also a disease that affects the brain. The aim of the present study was to describe a case series of children with Duchenne muscular dystrophy that have also the presence of autism spectrum disorders (ASDs). They have been assessed by mean…

0301 basic medicineDuchenne muscular dystrophyMalemedicine.medical_specialtyAutism Spectrum DisorderDuchenne muscular dystrophyMuscle disorderAudiologyAutism Diagnostic Observation Schedule03 medical and health sciences0302 clinical medicineIntellectual Disabilitymental disordersIntellectual disabilitymedicineHumansMuscular dystrophyChildbusiness.industryWechsler Adult Intelligence Scalemedicine.diseaseSettore MED/39 - Neuropsichiatria InfantileMuscular Dystrophy Duchenne030104 developmental biologyPediatrics Perinatology and Child HealthChildhood Autism Rating ScaleAutismAustism Spectrum Disorderbusiness030217 neurology & neurosurgeryHuman
researchProduct

How biological sex of the host shapes its gut microbiota.

2021

The gut microbiota is a complex system, consisting of a dynamic population of microorganisms, involved in the regulation of the host's homeostasis. A vast number of factors are driving the gut microbiota composition including diet, antibiotics, environment, and lifestyle. However, in the past decade, a growing number of studies also focused on the role of sex in relationship to changes in the gut microbiota composition in animal experiments as well as in human beings. Despite the progress in investigation techniques, still little is known about the mechanism behind the observed sex-related differences. In this review, we summarized current knowledge on the sex-dependent differences of the i…

0301 basic medicineEndocrine and Autonomic SystemsMechanism (biology)Host (biology)ZoologyFeeding BehaviorBiologyGut floraCommensalismBiological sexbiology.organism_classificationDietGastrointestinal Microbiome03 medical and health sciences030104 developmental biology0302 clinical medicineSex hormone-binding globulinbiology.proteinAnimalsHumansMicrobiomeGonadal Steroid Hormones030217 neurology & neurosurgeryHormoneFrontiers in neuroendocrinology
researchProduct